Simulation of LET Models in Simulink and Ptolemy
نویسندگان
چکیده
This paper describes two different approaches of simulating embedded control software whose real-time requirements are explicitly specified by means of the Logical Execution Time (LET) abstraction introduced in the Giotto project. As simulation environments we chose the black-box MATLAB/Simulink product and the open-source project Ptolemy II. The paper first sketches the modeling of LET-based components with the Timing Definition Language (TDL). As the LET abstraction allows the platform-independent modeling of the timing behavior of embedded software, a correct simulation of TDL components is equivalent to the behavior on a specific platform. We integrated TDL with both MATLAB/Simulink and Ptolemy and highlight the differences and similarities of the particular TDL simulation.
منابع مشابه
Modeling and Simulation of TDL Applications
Most of the existing modeling tools and frameworks for embedded applications use levels of abstraction where execution and communication times of computational tasks are not captured. Thus, properties such as time and value determinism can be lost when refining the model closer to a target platform. The Logical Execution Time (LET) paradigm has been proposed to deal with this issue, by enabling...
متن کاملA Modular Building Controls Virtual Test Bed for the Integration of Heterogeneous Systems
This paper describes the Building Controls Virtual Test Bed (BCVTB) that is currently under development at Lawrence Berkeley National Laboratory. An earlier prototype linked EnergyPlus with controls hardware through embedded SPARK models and demonstrated its value in more cost-effective envelope design and improved controls sequences for the San Francisco Federal Building. The BCVTB presented h...
متن کاملA MATLAB / SIMULINK BASED FAULT ANALYSIS OF SMALL HYDROPOWER PLANT
ABSTRACTRenewable Energy Sources (RES) are well – defined as energy sources, that are in abundance within the natural surroundings and are much inexhaustible. In addition, hydroelectricity (HE) is a vital part of world renewable energy supply and hydropower remains a bulk source of electricity generation because of its environmental friendliness in nature. Modeling is the analysis of the ...
متن کاملMathematical Structures in Computer Science a Modular Formal Semantics for Ptolemy a Modular Formal Semantics for Ptolemy †
Ptolemy ‡ is an open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular in the sense that atomic actors and their compositions are treated in a unified w...
متن کاملA modular formal semantics for Ptolemy
Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy which is modular, in the sense that atomic actors and their compositions are treated in a unified wa...
متن کامل